$\forall$$r$:$\mathbb{Q}$. ($\neg$($r$ = 0 $\in$ $\mathbb{Q}$)) $\Rightarrow$ ($\uparrow$qpositive($\mid$$r$$\mid$))